Formal Experimentation for Agile Formal Methods
نویسندگان
چکیده
The field of knowledge known as Empirical Software Engineering suggests the application of experimental methods in order to discover and describe characteristics of the process and results derived from new methodologies, such as agile formal methods. In this paper we present the methodology needed for conducting formal experiments and we review related work done in the field of the agile formal methods. At the end of the paper, we report on our experimentation work up to now and our suggestions on future work in this important field of research.
منابع مشابه
Formal Agility. How much of each?
Agile Processes and Formal Methods (FM), water and oil, impossible mixture? Yes at first sight. Nevertheless, being formal methods weight processes and being agile processes informal approaches to software development, it is worth to study how much formal can be an agile process like Extreme Programming (XP) and how much agile can be a formal method. On our view, some XP practices are suitable ...
متن کاملUsing the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems
In order to improve the development process of highintegrity systems, using formal methods, we consider how agile techniques may influence the Event-B formal method, and how Event-B may be used in a development that uses an agile approach. To examine the crossover between Event-B and agile methods we review the Disciplined Agile Delivery approach (DAD). The DAD approach is inspired by many stat...
متن کاملInformation Modelling and Knowledge
Agile software development approaches have gained interest by leveraging goals such as small initial investment, incremental development, and rapid feedback. In contrast, application of formal specification methods has typically implied extensive initial investment, relatively fixed requirements on top of which a formalization can be established, and relatively slow feedback due to the effort n...
متن کاملAre Formal Methods Ready for Agility? A Reality Check
The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting to combine two approaches which are seen as orthogonal or even opposing, and to what extent do formal methods already support the principles of agility? Based on the authors’ experience in applying lightweight tool-supported f...
متن کاملModularization of Refinement Steps for Agile Formal Methods
The combination of agile methods and formal methods has been recognized as a promising field of research. However, many formal methods rely on a refinement-based development process which poses problems for their integration into agile processes. We consider redundancies within refinement hierarchies as a challenge for the practical application of stepwise refinement and propose superimposition...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003